رساله حاضر که تحت عنوان "شناسایی و اجرای آرای خارجی" نگارش یافته به سه بخش ذیل تقسیم شده است . در بخش اول، مفاهیم اساسی مورد بحث قرار گرفته است ، ماند مفهوم رای داوری در مقایسه با نتایج دیگر شیوه های حل اختلاف از جمله نتایج شیوه های جایگزین حل اختلافات (ای. دی. آر) و داروهای آزاد، مفهوم وصف داخلی با خارجی رای داوری، آرای غیر ملی یا فاقد تابعیت ، تمایز مفهوم شناسایی و اجرای رای و فواید احتمالی م...

اهمیت شهادت به عنوان یکی از ادله اثبات دعوای کیفری بر کسی پوشیده نیست و این مدعا در مورد هر دو نوع رسیدگیهای کیفری داخلی و بین المللی صادق است. در رسیدگیهای نوع اخیر که عموماً در پی مخاصمات داخلی و نقضهای شدید حقوق بشری و حقوق بشردوستانه و به همت جامعه بین المللی به عنوان تدبیری در جهت حفظ و اعاده صلح و تقویت عنصر عدالت در دوگانه صلح ـ عدالت و بازدارندگی از ارتکاب چنان جنایاتی در آینده به کار گر...

اهمیت شهادت به‌عنوان یکی از ادله اثبات دعوای کیفری بر کسی پوشیده نیست و این مدعا در مورد هر دو نوع رسیدگیهای کیفری داخلی و بین‌المللی صادق است. در رسیدگیهای نوع اخیر که عموماً در پی مخاصمات داخلی و نقضهای شدید حقوق بشری و حقوق بشردوستانه و به همت جامعه بین‌المللی به‌عنوان تدبیری در جهت حفظ و اعاده صلح و تقویت عنصر عدالت در دوگانه صلح ‌ـ عدالت و بازدارندگی از ارتکاب چنان جنایاتی در آینده به‌کار گ...

  In case of existing a reliable agreement the courts do not have jurisdiction to consider the settlement of the case. So, the effect of arbitration agreement is to exclude the jurisdiction of state courts. The exclusion of court jurisdiction is not meant the absolute non-intervention in arbitration proceedings. Arbitration may not exist without a degree of court intervention. But, this interve...

حلقه‎ها سهم بسیار زیادی در اجرای برنامه‎های محاسباتی دارند، بنابراین موازی‎سازی آنها در تسریع برنامه‎ها بسیار مهم است. موازی‎سازی حلقه‎ها در چهار مرحله انجام می‎گیرد: 1) تحلیل وابستگی داده‎ای و یکنواخت‎سازی فضای تکرار: وابستگی بین تکرار‎های حلقه و بردارهای وابستگی مشخص شده و به مجموعه‎ای از بردارهای وابستگی پایه تبدیل می‎شود. 2) کاشی‎بندی: فضای یکنواخت وابستگی تکرارهای حلقه به قطعاتی به نام...

با افزایش روز افزون نیاز پردازشی برنامه ها و استفاده از سیستم های چند پردازنده ای، به کارگیری حداکثری توانایی این پردازنده ها بسیار حیاتی به نظر می رسد. بدین منظور لازم است اطلاعاتی در مورد ساختار برنامه موازی و گلوگاه های راندمان کارکرد آن بدست آورده شود. خوشبختانه این گلوگاه ها و همچنین بقیه پارامترهای موثر در راندمان برنامه را می توان توسط الگوهای پردازشی و ارتباطی موجود در بطن برنامه موازی ...

در صورت وجود قرارداد داوری معتبر دادگاه ها صلاحیت رسیدگی به موضوع را ندارند. از این رو، اثر قرارداد داوری این است که صلاحیت دادگاه های دولتی برای رسیدگی به موضوع اختلاف مستثنی می شود. مستثنی شدن صلاحیت دادگاه به معنی عدم دخالت مطلق دادگاه ها در رسیدگی داوری نیست. داوری بدون حدی از مداخله دادگاه نمی تواند به حیات خود ادامه دهد. اما، این دخالت باید مرزبندی و تحدید شود وگرنه ممکن است به ابرازی جهت...